Storm-static

Benchmark
Model:vgs v.1 (MA)
Parameter(s)NR_VARIANT = 5, TIME_BOUND = 10000
Property:MinExpTimeFailed (exp-time)
Invocation (default)
~/storm/build/bin/storm-dft --dftfile vgs.5.dft --expectedtime --min --exact 
Execution
Walltime:0.21421051025390625s
Return code:0
Relative Error:0.0
Log
Storm-dft 1.5.1

Date: Fri May  1 01:08:34 2020
Command line arguments: --dftfile vgs.5.dft --expectedtime --min --exact
Current working directory: /

 WARN (storm-dft.cpp:274): Exact solving over rational numbers is not implemented. Performing exact solving using rational functions instead.
-------------------------------------------------------------- 
Model type: 	CTMC (sparse)
States: 	193
Transitions: 	897
Reward Models:  none
State Labels: 	4 labels
   * A0_0_dc -> 0 item(s)
   * A0_0_failed -> 0 item(s)
   * init -> 1 item(s)
   * failed -> 1 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 
Times:
Exploration:	0.030s
Building:	0.000s
Bisimulation:	0.000s
Modelchecking:	0.013s
Total:		0.045s
Result: [2590209137680144532356750339319499526273242437703051718415049728380372734204861883045891604356787427655327804814200547069092722835127806514642121293418196555739925830183583672362724111768979021933772169033849954184299328741801422556667149621818133650541854753228056720683834168004835441372739361164290824194684035429909886374569867472846105199592744332782295552642664247054524035157126728412683160002277769597253071364337763329932000881171586294691956875552179076284900391512398998971336639204997944032998677582755570894426464829656262578012066473686272590433548109064613718772637533831187048293832036389439547909022735246556633243513786343917041621518677649653325452014678754201472124108264597437927426722108412574975766956667044095836664364029431915004607602357208611392946331496017178580874994754251009275441736899745257716345989470257453107902574597344647420365482278623294889262224277698837605794004960957779086408449999406678510774108237043865818481910156759980249849136505660161778663234943543226001290126228405583563862271461630563401068920356830852980336781771373890749287684848630972329922713994123526133371796527563561017895393249950899595510312154707461608195093210867069100588853255033739015177971803788649086550553083458760510426178105941296328110516160538568985380240440803271126579011231367421500000000000000000000000/37443270974181666361497349204116820061629162996619796651751631957085715520383539051762843220976987372914033238084004125771674480283196674141959503046691282932253575386433615574568637682606970822512733932233208227660942147160863152805550434702747437788545848114548756118018303942837378673618560088887797403771177051361478017408227798006642604563671954561850818182064068996596862518779495473896823142906368074885697315258595277702827751703597746856379513564460410125116393740200407092585863056090153594750984003346262604794866614067179702752465583924956353449926728974939161476599645032491415794776551102036963667635269007331664504560226275736872859815523238489184636714793210398123848245776631785767681918809257252248023766752155130986480914365693024791418585633266435218185612981982874544428090290715302952477590484469488067558830306420231913278853356966202126377946099098077868910670571143948662711586402985036190314778931976503519842599239435296596008818500378043972254284995426903252964782576555406156362565783026112703450584262411683828435031895314416738899512137866770608001217500817312001592533576411735125640727630764201580289972448408359317591420585513826291977250182811712144048596636878847167624345578404141024570795440444799221002563353687143079099846932537816110337589450119634772993630721399714634894806197265019749]